大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Firmware 的图书(共5875本)

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Performance Evaluation, Measurement and Characterization of Complex Systems [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

0
索取号：
作者：Nambiar、 Raghunath.、Poess、 Meikel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers

0
索取号：
作者：Burmester、 Mike.、Tsudik、 Gene.、Magliveras、 Spyros.、Ili膰、 Ivana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II

0
索取号：
作者：Chen、 Ran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part I

0
索取号：
作者：Chen、 Ran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

0
索取号：
作者：Gheorghe、 Marian.、Hinze、 Thomas.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

0
索取号：
作者：Domaratzki、 Michael.、Salomaa、 Kai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

0
索取号：
作者：Dam、 Wim.、Kendon、 Vivien M.、Severini、 Simone.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Intelligent Web Mastering-3 [electronic resource] : Proceedings of the 7th Atlantic Web Intelligence Conference, AWIC 2011, Fribourg, Switzerland, January, 2011

0
索取号：
作者：Mugellini、 Elena.、Szczepaniak、 Piotr S.、Pettenati、 Maria Chiara.、Sokhn、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

0
索取号：
作者：Banerjee、 Mohua.、Seth、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Unifying Themes in Complex Systems VII [electronic resource] : Proceedings of the Seventh International Conference on Complex Systems

0
索取号：
作者：Minai、 Ali A.、Braha、 Dan.、Bar-Yam、 Yaneer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Ad Hoc Networks [electronic resource] : Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers

0
索取号：
作者：Zheng、 Jun.、Simplot-Ryl、 David.、Leung、 Victor C. M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers

0
索取号：
作者：Herik、 H. Jaap.、Iida、 Hiroyuki.、Plaat、 Aske.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

EKC 2010 [electronic resource] : Proceedings of the EU-Korea Conference on Science and Technology

0
索取号：
作者：Han、 Man-Wook.、Lee、 Jehyun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Fluid Dynamics 2010 [electronic resource] : Proceedings of the Sixth International Conference on Computational Fluid Dynamics, ICCFD6, St Petersburg, Russia, on July 12-16, 2010

0
索取号：
作者：Kuzmin、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.